|
Lehmer's conjecture, also known as the Lehmer's Mahler measure problem, is a problem in number theory raised by Derrick Henry Lehmer. The conjecture asserts that there is an absolute constant such that every polynomial with integer coefficients satisfies one of the following properties: * The Mahler measure of is greater than or equal to . * is an integral multiple of a product of cyclotomic polynomials or the monomial , in which case . (Equivalently, every complex root of is a root of unity or zero.) There are a number of definitions of the Mahler measure, one of which is to factor over as : and then set : The smallest known Mahler measure (greater than 1) is for "Lehmer's polynomial" : for which the Mahler measure is the Salem number : It is widely believed that this example represents the true minimal value: that is, in Lehmer's conjecture.〔Smyth (2008) p.324〕 == Motivation == Consider Mahler measure for one variable and Jensen's formula shows that if then : In this paragraph denote , which is also called Mahler measure. If has integer coefficients, this shows that is an algebraic number so is the logarithm of an algebraic integer. It also shows that and that if then is a product of cyclotomic polynomials i.e. monic polynomials whose all roots are roots of unity, or a monomial polynomial of i.e. a power for some . Lehmer noticed〔David Boyd (1981). "Speculations concerning the range of Mahler's measure" Canad. Math. Bull. Vol. 24(4)〕 that is an important value in the study of the integer sequences for monic . If does not vanish on the circle then and this statement might be true even if does vanish on the circle. By this he was led to ask :whether there is a constant such that provided is not cyclotomic?, or :given , are there with integer coefficients for which 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Lehmer's conjecture」の詳細全文を読む スポンサード リンク
|